Reentrant mutex